Deductive Systems and Grammars: Proofs as Grammatical Structures
نویسندگان
چکیده
During the last fifteen years, much of the research of proof theoretical grammars has been focused on their weak generative capacity. This research culminated in Pentus’ theorem, which showed that Lambek grammars generate precisely the context-free languages. However, during the same period of time, research on other grammar formalisms has stressed the importance of “strong generative capacity,” i.e. the derivation or phrase structure trees that grammars assign to strings. The first topic of this thesis is the strong generative capacity of Lambek grammars. The proof theoretic perspective on grammars allows us to consider different notions of what “structure assigned by a Lambek grammar to a string” is taken to mean. For example, we can take any proof tree that establishes that a grammar generates a certain string or only those that are in some normal form. It can be shown that the formal properties of these notions of structure differ. The main result of this part of the thesis is that, although Lambek grammars generate context-free string languages, their derivation trees are more complex than those of context-free grammars. The latter were characterized by Thatcher as coinciding with the local tree languages, while the derivation trees of Lambek grammars include tree languages which are not regular. Even non-associative Lambek grammars, which recently have become more popular variants of categorial grammar, can be used to generate non-local tree languages. However, their normal form tree languages are always regular. Finally, categorial grammars lacking introduction rules have local derivation trees. Thus, there is a genuine hierarchy of proof theoretical grammars with respect to strong generative capacity. Additionally, we consider the semantic aspect of the proof theoretic approach to language, which is given by the correspondence between proof theory and type
منابع مشابه
Graph Transformations, Proofs, and Grammars
Graph transformation systems or graph grammars are a generalization of formal grammars used in linguistics.One of principal differences is that the structures that are transformed by transformation rules are no more linear. In this paper we consider graph transformation systems in connection with proof theory. We develop the graph transformation framework, where the attributes are derivable jud...
متن کاملInvestigating the Effect of Inductive and Deductive Grammar Instruction and Input Enhancement on Iranian EFL Learners’ Grammar Achievement
The present study was conducted to investigate the effectiveness of deductive instruction of grammar with input enhancement and without using input enhancement. It also explored the effectiveness of inductive instruction of grammar with input enhancement and without input enhancement among Iranian EFL learners. The participants were female intermediate-level students who were studying English a...
متن کاملConsciousness-raising tasks versus deductive approach: two form-focused instruction types in teaching grammar to Iranian high school EFL learners
Consciousness-raising (CR) task is a new way of teaching grammar developed in communicative contexts although little has been written on the effectiveness of CR tasks in EFL setting. The present study is an attempt to investigate the impact of CR tasks in Iranian EFL setting by comparing them with deductive, grammar lessons common in the Iranian schools. The subjects of this study were 80 EFL p...
متن کاملChart Parsing Multimodal Grammars
The short note describes the chart parser for multimodal type-logical grammars which has been developed in conjunction with the type-logical treebank for French. The chart parser presents an incomplete but fast implementation of proof search for multimodal type-logical grammars using the"deductive parsing"framework. Proofs found can be transformed to natural deduction proofs.
متن کاملPrinciple-based Parsing and Logic Programming
While deductive parsing techniques are well-understood for traditional rule-based and lexicalist grammars, they are rather more elusive for current principle-based grammars. In this paper, we argue that a major source of difficulty arises from a fundamental difference in the way such grammars should be axiomatised. While rule-based grammars typically consist of a set of sufficient ‘structure-ge...
متن کامل